Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents
نویسندگان
چکیده
This paper describes an ongoing project that involves DISI, the Computer Science Department of Genova University, and Ansaldo Segnalamento Ferroviario, the Italian leader in design and construction of signalling and automation systems for railway lines. We are implementing a multiagent system that monitors processes running in a railway signalling plant, detects functioning anomalies, provides diagnoses for explaining them, and early notifies problems to the Command and Control System Assistance. Due to the intrinsic rule-based nature of monitoring and diagnostic agents, we have adopted a logic-based language for implementing them.
منابع مشابه
Applying Frequency Response method for contact Rails Fault Diagnosing in Ungrounded Electrical Railway System
Abstract General faults in regular electrical railways system could be detect by implementing the specific protection functions such as ground fault or sensitive earth fault. Otherwise, in ungrounded electrical railway systems which using both feeding and return contact rail at the same time, fault detection cannot done with above-mentioned function. Due to recent growth in electrical railway ...
متن کاملModeling of Multiagent Based Railway System using BDI Logic
Multi-Agent based modeling & simulation is an evolving paradigm for solving real life problems for solving real life problems for the last one decade. In this paper, we model the manually controlled Indian Railway to a multi agent based automated system which is robust in nature and provide a fully automated collision avoidance guarantee. We consider individual entity such as station, junction ...
متن کاملMonitoring and Diagnosing Multistage Processes: A Review of Cause Selecting Control Charts
A review of the literature on cause selecting charts (CSCs) in multistage processes is given, with a concentration on developments which have occurred since 1993. Model based control charts and multiple cause selecting charts (MCSCs) are reviewed. Several articles based on normally and non-normally distributed outgoing quality characteristics are analyzed and important issues such as economic d...
متن کاملDistributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملImproving Moving Block Railway System Using Fuzzy Multi-agent Specification Language
Railway interlocking system is a distributed, safety, monetary and environmentally critical system and its failure may cause the loss of human life, severe injuries, loss of money and environmental damages. The complexity of this system requires formal modeling and step by step refinement for its construction and development. The formal specification-based languages, such as V DM , Z-notation a...
متن کامل